Merge pull request #1413 from grandpaul/paulliu-rpi3-0
authorDimitris Papastamos <[email protected]>
Wed, 20 Jun 2018 15:34:10 +0000 (16:34 +0100)
committerGitHub <[email protected]>
Wed, 20 Jun 2018 15:34:10 +0000 (16:34 +0100)
rpi3: BL32 optee support

1  2 
docs/plat/rpi3.rst

Simple merge